Efficient computation of states and sensitivities for compound structural optimisation problems using a Linear Dependency Aware Solver (LDAS)

DepQBF: A Dependency-Aware QBF Solver

We present DepQBF 0.1, a new search-based solver for quantified boolean formulae (QBF). It integrates compact dependency graphs to overcome the restrictions imposed by linear quantifier prefixes of QBFs in prenex conjunctive normal form (PCNF). DepQBF 0.1 was placed first in the main track of QBFEVAL’10 in a score-based ranking. We provide a general system overview and describe selected orthogo...

An Efficient Linear Solver for Nonlinear Parameter Identification Problems

In this paper, we study some efficient numerical methods for parameter identifications in elliptic systems. The proposed numerical methods are conducted iteratively and each iteration involves only solving positive definite linear algebraic systems, although the original inverse problems are ill-posed and highly nonlinear. The positive definite systems can be naturally preconditioned with their...

Efficient Calculation of Sensitivities for Optimization Problems

Sensitivity information is required by numerous applications such as, for example, optimization algorithms, parameter estimations or real time control. Sensitivities can be computed with working accuracy using the forward mode of automatic differentiation (AD). ADOL-C is an AD-tool for programs written in C or C++. Originally, when applying ADOL-C, tapes for values, operations and locations are...

A Toolkit for Efficient Computation of Sensitivities in Approximate Robust Optimal Control Problems

Efficient solution approaches for optimal control problems where the dynamics are described by uncertain differential equations are discussed in the present paper. Problems with uncertainties can be addressed by the robust worst-case formulation. In order to numerically solve the robust counterpart for the optimal control problem several approximation techniques can be employed. In this paper w...

A General Meta-Heuristic Based Solver for Combinatorial Optimisation Problems